Sur la transformation de Radon de la sphère $S\sp d$

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Sur la frequence de leptospirose en Iran

Sur la fréquence de leptospirose en Iran

Sur la fréquence de la leptospirose en Iran

De la transformation de prédicats à la transformation de programmes

Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le...